1. History of mathematics: a supplement
پدیدآورنده : Smorynski, Craig
کتابخانه: (طهران)
موضوع : History ، Mathematics
رده :
QA
21
.
S66H5
2. Logic's lost genius : the life of Gerhard Gentzen
پدیدآورنده : Menzler-Trott, Eckart
کتابخانه: (طهران)
موضوع : ، Gentzen, Gerhard,Biography ، Mathematicians -- Germany,، Logic, Symbolic and mathematical
رده :
QA
29
.
G467M4613
3. Logical number theory : an introduction
پدیدآورنده : Smorynski, C
موضوع : ، Number theory,، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Logical number theory : an introduction
پدیدآورنده : Smorynski, Craig
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Number theory
رده :
QA
9
.
S57
5. MVT : a most valuable theorem
پدیدآورنده : Smorynski, Craig
کتابخانه: (طهران)
موضوع : ، Mean value theorems )Calculus(
رده :
QA
303
.
2
.
S66M9
6. Self-reference and modal logic
پدیدآورنده : Smorynski, Craig
کتابخانه: (طهران)
موضوع : ، Modality )Logic(
رده :
QA
9
.
46
.
S6
1985
